Automatic Generation of High-Level Contact State Space
نویسندگان
چکیده
A divide-and-merge approach is introduced for automatic generation of high-level, discrete contact state space, represented as contact state graphs, between two contacting polyhedral solids from their geometric models. Based on the fact that a contact state graph is the union of the subgraphs called a goal-contact relaxation (GCR) graph, the approach consists of algorithms (1) to generate a complete GCR graph automatically given the most constrained contact state in the GCR graph and (2) to merge GCR graphs automatically. The algorithms are implemented for cases in which the most constrained contact state in a GCR graph consists of up to three principal contacts. The ability to capture and represent contact state information effectively and efficiently is essential for robotic operations involving compliant motions, for simulation of contact motions, and for haptic
منابع مشابه
Automatic Generation of High-level Contact State Space between 3D Curved Objects
Information of high-level, topological contact states is useful and sometimes even necessary for a wide range of applications, from robotic tasks involving compliant motion to virtual prototyping and simulation. This paper addresses how to represent concisely and generate automatically graphs of contact states between 3D curved objects of a broad class, which may include smooth curved or planar...
متن کاملLocal Contact State Space Generation Using Colored Petri Nets
The automatic synthesis of a plan to perform a robotized assembly task from a high level description of the product to be assembled is a difficult issue which involves assembly planning and task planning. One of the main scopes of task planning is the planning of contact motions, which usually relies on a graph representation of contact space. This paper deals with the automatic computation of ...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملA Divide-and-Merge Approach to Automatic Generation of Contact States and Planning of Contact Motion
Planning contact motion is important for many robotic tasks but di cult in general due to high variability and geometrical complexity of contact states. It is desirable to decompose the problem into simpler subproblems. A promising decomposition treats the problem as consisting of (1) automatic generation of a discrete contact state graph, and (2) planning contact transitions between neighborin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999